/*
 *  baddigitstr.c (part of p8.c)
 *  
 *
 *  Created by Shang-Ju Chen on 3/5/11.
 *  checked on 2/7/11
 *
 */

void
baddigitstr( char *t )
{
	fprintf(fpe,e2,line,t);
	nerr++;
	lsymb = symbol[nsymb++] = 0 ;
}
